x86: Fix relinquish_memory() for PGT_partial pages.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 29 Oct 2008 13:09:37 +0000 (13:09 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 29 Oct 2008 13:09:37 +0000 (13:09 +0000)
commit9c171cc38822fbbe450e0a6e87e73232a054d73f
tree08698654ab75c28243581ebb3492732958b5f73f
parentaa4eca06c488a53c9aa939d79e484f6a297767df
x86: Fix relinquish_memory() for PGT_partial pages.

Original patch by Jan Beulich.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/domain.c